When the tool buttons 'Toggle display of errors' and 'Toggle display of warnings'
are up (i.e. not pressed) the error list plugin still shows up when an error is detected
in the editor.
May be two more buttons would do the trick : "pops up on error" and "pops up on warning".
This is what's provided in the Eclipse Console plugin and I find it very practical
and I doubt it would hurt performances in any way.
Any way, this usability bug requires a fix.
Thanks for jEdit \!
| Submitted | michelnolard - 2008-07-18 13:50:18 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | None |
| Resolution | None |
| 2011-11-27 04:38:40 ezust |
In plugin options - errorlist, there is an option "Automatically display on error".
|
|---|---|
| 2011-11-27 04:38:40 ezust |
- **status**: open --> pending-works-for-me |
| 2012-04-06 09:10:02 jarekczek |
Alan, please reconsider the problem. The user switched of both warning and errors
in the dockable. Yes, he has "Automatically display" on, but since he switched both
options off in the dockable, he expects no pop-ups. I'm with him. "Automatic display"
should pop up only when the relevant button (warnings, errors) is active.
|
| 2012-04-06 09:10:02 jarekczek |
- **summary**: Error list still pops up when those events are disabled --> ErrorList:
still pops up when those events are disabled |